Add check to 'changes.html', too.

diff --git a/chkdoc b/chkdoc
index 871e8f8c321bc1728ce9a91896e482b6b3448e48..ee7409a512ab88b7ad0fac170661173e9865c48d 100755 (executable)
--- a/chkdoc
+++ b/chkdoc
@@ -12,6 +12,12 @@ do
                ECODE=1
        fi
        
+       if ! grep -qi $TYPE  ~/src/babelweb/changes.html
+       then
+               echo $TYPE is not documented in changes.html.
+               ECODE=1
+       fi
+       
        if ! grep -qi "^    $TYPE$" README 
        then
                echo $TYPE is not documented in README.